BCK相关论文
以左连续三角模×及其伴随蕴涵算子→为出发点。给出了强三角模的概念，并推导出了强三角模对应的三角余模0及其伴随算子＊，路出了......
为了进一步研究交软BCK/BCI-理想的性质,通过在交软BCK/BCI-理想的概念中引入一个参数α,从而给出了α-交软BCK/BCI-理想的定义,并......
